nc many-one reducibility

NC 多一可約性